Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
101	Estimating team strength in the NFL Mark E. Glickman Hal S. Stern April 28, 2016 Add to Reading List Source URL: www.glicko.net Language: English - Date: 2016-05-12 15:22:06 Statistics Estimation theory Algebra Mathematics Regression analysis Parametric statistics Least squares Econometrics Linear regression Matrix Lambda calculus Ordinary least squares
102	Compiling Pattern Mat hing to Good De ision Trees Lu Maranget Inria Ro quen ourt Motivation Add to Reading List Source URL: www.kb.ecei.tohoku.ac.jp Language: English - Date: 2008-09-22 19:55:26
103	81 Documenta Math. Motivic Splitting Lemma A. Vishik, K. Zainoulline1 Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2009-02-25 10:07:01 Algebra Abstract algebra Mathematics Algebraic geometry Motive Chow group Projective variety Lambda calculus Spectral theory of ordinary differential equations
104	Microsoft PowerPoint - lecture_Yop_spring05v2.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-12-13 08:49:07 Mathematics Algebra Computability theory Linear algebra Spectral theory Theoretical computer science Subroutines Recursion Recurrence relation Lambda calculus Spectral theory of ordinary differential equations
105	Laziness Without All the Hard Work Combining Lazy and Strict Languages for Teaching Eli Barzilay John Clements Add to Reading List Source URL: barzilay.org Language: English - Date: 2005-07-27 04:57:25 Software engineering Computer programming Computing Functional languages Functional programming Lambda calculus Evaluation strategy Procedural programming languages Eval Scheme Lazy evaluation Standard ML
106	Microsoft PowerPoint - SASyLF-wmm08-web.ppt Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2008-10-15 15:02:54 Theoretical computer science Mathematics Type theory Mathematical logic Formal methods Logic in computer science Programming language theory Twelf POPLmark challenge Lambda calculus Theorem Formal language
107	logical verificationexercises 2 Exercise 1. This exercise is concerned with dependent types. We use the following definition in Coq: Inductive natlist_dep : nat -> Set := \| nil_dep : natlist_dep 0 Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-09-02 08:06:23 Logic Mathematical logic Mathematics Type theory Propositional calculus Syntax Predicate logic CurryHoward correspondence Dependent type Lambda calculus First-order logic Proposition
108	Microsoft PowerPoint - Lect05data_abstractionsv4.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-09-21 04:47:00 Software engineering Declarative programming Functional programming Data types Lisp Computer programming Lambda calculus Cons Append CAR and CDR Anonymous function T
109	Making Uniqueness Typing Less Unique Thesis submitted for the degree of Doctor in Philosophy December 14, 2008 Edsko Jacob Jelle de Vries Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Type theory Software engineering Theoretical computer science Mathematical logic Lambda calculus System F Type system Uniqueness type Functional programming Polymorphism Clean
110	Provenance, XML, and the Scientific Web James Cheney University of Edinburgh Abstract Add to Reading List Source URL: db.ucsd.edu Language: English - Date: 2008-12-16 18:40:54 Mathematics Humanities Terminology Models of computation Constructible universe Net Lambda calculus Valuation Provenance Symbol